大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

0
索取号：
作者：Serna、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Communicability, Computer Graphics and Innovative Design for Interactive Systems [electronic resource] : First International Symposium, CCGIDIS 2011, C贸rdoba, Spain, June 28-29, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Practical Aspects of Design Science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

0
索取号：
作者：Helfert、 Markus.、Donnellan、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30鈥揙ctober 5, 2012. Proceedings

0
索取号：
作者：France、 Robert B.、Kazmeier、 J眉rgen.、Breu、 Ruth.、Atkinson、 Colin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Distributed Computing [electronic resource] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings

0
索取号：
作者：Aguilera、 Marcos K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings

0
索取号：
作者：Yoshida、 Hiroyuki.、Hawkes、 David.、Vannier、 Michael W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Principles and Practice of Constraint Programming [electronic resource] : 18th International Conference, CP 2012, Qu茅bec City, QC, Canada, October 8-12, 2012. Proceedings

0
索取号：
作者：Milano、 Michela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

0
索取号：
作者：Richa、 Andr茅a W.、Scheideler、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Artificial Intelligence and Computational Intelligence [electronic resource] : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings

0
索取号：
作者：Lei、 Jingsheng.、Wang、 Fu Lee.、Deng、 Hepu.、Miao、 Duoqian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Global Security, Safety and Sustainability & e-Democracy [electronic resource] : 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers

0
索取号：
作者：Georgiadis、 Christos K.、Jahankhani、 Hamid.、Pimenidis、 Elias.、Bashroush、 Rabih.、Al-Nemrat、 Ameer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Security and Privacy in Mobile Information and Communication Systems [electronic resource] : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers

0
索取号：
作者：Schmidt、 Andreas U.、Russello、 Giovanni.、Krontiris、 Ioannis.、Lian、 Shiguo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

0
索取号：
作者：Chakraborty、 Supratik.、Mukund、 Madhavan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Research in Attacks, Intrusions, and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

0
索取号：
作者：Balzarotti、 Davide.、Stolfo、 Salvatore J.、Cova、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

E-Science and Information Management [electronic resource] : Third International Symposium on Information Management in a Changing World, IMCW 2012, Ankara, Turkey, September 19-21, 2012. Proceedings

0
索取号：
作者：Kurbano臒lu、 Serap.、Al、 Umut.、Erdo臒an、 Phyllis Lepon.、Tonta、 Ya艧ar.、U莽ak、 Nazan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院